تعداد ۱ پاسخ غیر تکراری از ۱ پاسخ تکراری در مدت زمان ۰,۳۴ ثانیه یافت شد.

1. Verification of systems and circuits using LOTOS, Petri Nets, and CCS

پدیدآورنده : / by Michael Yoeli and Rakefet Kol

کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)

موضوع : Integrated circuits- Verification,Computer software- Verification,LOTOS (Computer program language),Petri nets

رده :

TK7874

.

58

.

Y64

2008

»
1
«

این پایگاه با مشارکت موسسه علمی - فرهنگی دارالحدیث و مرکز تحقیقات کامپیوتری علوم اسلامی (نور) اداره می شود
مسئولیت صحت اطلاعات بر عهده کتابخانه ها و حقوق معنوی اطلاعات نیز متعلق به آنها است